Martin Fränzle : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Faire un don

Livres
Articles (64)
Les plus populaires
Liste
- Liste
- Tableau

Efficient Proof Engines for Bounded Model Checking of Hybrid Systems

Martin Fränzle, Christian Herde

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 460 KB

english, 2005

Model-checking dense-time Duration Calculus

Martin Fränzle

Journal:

Formal Aspects of Computing

Année:

2004

Langue:

english

Fichier:

PDF, 237 KB

english, 2004

A Semantics for Distributed Execution of Statemate

Martin Fränzle, Jürgen Niehaus, Alexander Metzner, Werner Damm

Journal:

Formal Aspects of Computing

Année:

2003

Langue:

english

Fichier:

PDF, 228 KB

english, 2003

HySAT: An efficient proof engine for bounded model checking of hybrid systems

Martin Fränzle, Christian Herde

Journal:

Formal Methods in System Design

Année:

2007

Langue:

english

Fichier:

PDF, 622 KB

english, 2007

A generalized notion of semantic independence

Martin Fränzle, Bernhard von Stengel, Arne Wittmüss

Journal:

Information Processing Letters

Année:

1995

Langue:

english

Fichier:

PDF, 525 KB

english, 1995

Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems

Tino Teige, Andreas Eggers, Martin Fränzle

Journal:

Nonlinear Analysis Hybrid Systems

Année:

2011

Langue:

english

Fichier:

PDF, 2.46 MB

english, 2011

Engineering constraint solvers for automatic analysis of probabilistic hybrid automata

Martin Fränzle, Tino Teige, Andreas Eggers

Journal:

The Journal of Logic and Algebraic Programming

Année:

2010

Langue:

english

Fichier:

PDF, 1.48 MB

english, 2010

Visual temporal logic as a rapid prototyping tool

Martin Fränzle, Karsten Lüth

Journal:

Computer Languages

Année:

2001

Langue:

english

Fichier:

PDF, 355 KB

english, 2001

Combining decomposition and reduction for state space analysis of a self-stabilizing system

Müllner, Nils, Theel, Oliver, Fränzle, Martin

Journal:

Journal of Computer and System Sciences

Année:

2013

Langue:

english

Fichier:

PDF, 427 KB

english, 2013

Preface

Fränzle, Martin, Tsourdos, Antonios

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2013

Langue:

english

Fichier:

PDF, 99 KB

english, 2013

Degradation of atrazine byFrankia alniACN14a: gene regulation, dealkylation, and dechlorination

Rehan, Medhat, Kluge, Martin, Fränzle, Stefan, Kellner, Harald, Ullrich, René, Hofrichter, Martin

Journal:

Applied Microbiology and Biotechnology

Année:

2014

Langue:

english

Fichier:

PDF, 1.53 MB

english, 2014

[IEEE 2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA) - Fukuoka, Japan (2012.03.26-2012.03.29)] 2012 IEEE 26th International Conference on Advanced Information Networking and Applications - Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System

Mullner, Nils, Theel, Oliver, Franzle, Martin

Année:

2012

Langue:

english

Fichier:

PDF, 351 KB

english, 2012

[IEEE 2013 IREP Symposium - Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid (IREP) - Rethymno, Greece (2013.08.25-2013.08.30)] 2013 IREP Symposium Bulk Power System Dynamics and Control - IX Optimization, Security and Control of the Emerging Power Grid - Modeling options for demand side participation of thermostatically controlled loads

Kamgarpour, Maryam, Ellen, Christian, Soudjani, Sadegh Esmaeil Zadeh, Gerwinn, Sebastian, Mathieu, Johanna L., Mullner, Nils, Abate, Alessandro, Callaway, Duncan S., Franzle, Martin, Lygeros, John

Année:

2013

Langue:

english

Fichier:

PDF, 1007 KB

english, 2013

[IEEE 2013 9th Workshop on Robot Motion and Control (RoMoCo) - Kuslin, Poland (2013.07.3-2013.07.5)] 9th International Workshop on Robot Motion and Control - A path planning framework for autonomous vehicles

Eilers, Sonke, Boger, Jurgen, Franzle, Martin

Année:

2013

Langue:

english

Fichier:

PDF, 460 KB

english, 2013

[IEEE 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Cape Town, South Africa (2008.11.10-2008.11.14)] 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods - Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations

Fränzle, Martin, Hansen, Michael R.

Année:

2008

Langue:

english

Fichier:

PDF, 381 KB

english, 2008

[IEEE Conference Publications Design Automation and Test in Europe - Grenoble, France (2013.03.18-2013.03.22)] Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013 - Towards Performance Analysis of SDFGs Mapped to Shared-Bus Architectures Using Model-Checking

Fakih, Maher, Gruttner, Kim, Franzle, Martin, Rettberg, Achim

Année:

2013

Langue:

english

Fichier:

PDF, 737 KB

english, 2013

[IEEE 2013 International Conference on Embedded Software (EMSOFT) - Montreal, QC, Canada (2013.09.29-2013.10.4)] 2013 Proceedings of the International Conference on Embedded Software (EMSOFT) - Verifying Simulink diagrams via a Hybrid Hoare Logic Prover

Zou, Liang, Zhany, Naijun, Wang, Shuling, Franzle, Martin, Qin, Shengchao

Année:

2013

Langue:

english

Fichier:

PDF, 651 KB

english, 2013

[IEEE 2014 28th International Conference on Advanced Information Networking and Applications Workshops (WAINA) - BC, Canada (2014.5.13-2014.5.16)] 2014 28th International Conference on Advanced Information Networking and Applications Workshops - Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts

Mullner, Nils, Theel, Oliver, Franzle, Martin

Année:

2014

Langue:

english

Fichier:

PDF, 914 KB

english, 2014

[IEEE 2014 IEEE 28th International Conference on Advanced Information Networking and Applications (AINA) - Victoria, BC, Canada (2014.5.13-2014.5.16)] 2014 IEEE 28th International Conference on Advanced Information Networking and Applications - Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems

Mullner, Nils, Theel, Oliver, Franzle, Martin

Année:

2014

Langue:

english

Fichier:

PDF, 1.45 MB

english, 2014

[IEEE 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - Alicante, Spain (2007.06.28-2007.06.30)] 14th International Symposium on Temporal Representation and Reasoning (TIME'07) - A Symbolic Decision Procedure for Robust Safety of Timed Systems

Swaminathan, Mani, Franzle, Martin

Année:

2007

Langue:

english

Fichier:

PDF, 110 KB

english, 2007

Statistical model checking for stochastic hybrid systems involving nondeterminism over continuous domains

Ellen, Christian, Gerwinn, Sebastian, Fränzle, Martin

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2015

Langue:

english

Fichier:

PDF, 1.53 MB

english, 2015

Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods

Eggers, Andreas, Ramdani, Nacim, Nedialkov, Nedialko S., Fränzle, Martin

Journal:

Software & Systems Modeling

Année:

2015

Langue:

english

Fichier:

PDF, 2.69 MB

english, 2015

State-based real-time analysis of SDF applications on MPSoCs with shared communication resources

Fakih, Maher, Grüttner, Kim, Fränzle, Martin, Rettberg, Achim

Journal:

Journal of Systems Architecture

Année:

2015

Langue:

english

Fichier:

PDF, 5.53 MB

english, 2015

[ACM Press the 14th international conference - Chicago, IL, USA (2011.04.12-2011.04.14)] Proceedings of the 14th international conference on Hybrid systems: computation and control - HSCC '11 - Measurability and safety verification for stochastic hybrid systems

Fränzle, Martin, Hahn, Ernst Moritz, Hermanns, Holger, Wolovick, Nicolás, Zhang, Lijun

Année:

2011

Langue:

english

Fichier:

PDF, 513 KB

english, 2011

[IEEE 2015 17th International Conference on Advanced Communication Technology (ICACT) - Phoenix Park, PyeongChang, South Korea (2015.7.1-2015.7.3)] 2015 17th International Conference on Advanced Communication Technology (ICACT) - Robust mid-range communication in Urban VANETs

Khan, Saifullah, Franzle, Martin

Année:

2015

Langue:

english

Fichier:

PDF, 1.33 MB

english, 2015

[IEEE 2015 IEEE Vehicular Networking Conference (VNC) - Kyoto, Japan (2015.12.16-2015.12.18)] 2015 IEEE Vehicular Networking Conference (VNC) - Cooperation and network coding based MAC protocol for VANETs

Khan, Saifullah, Alam, Muhammad, Mullner, Nils, Franzle, Martin

Année:

2015

Langue:

english

Fichier:

PDF, 849 KB

english, 2015

[IEEE 2015 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) - Bremen, Germany (2015.6.29-2015.7.1)] 2015 10th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC) - Envisioning self-verification of electronic systems

Drechsler, Rolf, Franzle, Martin, Wille, Robert

Année:

2015

Langue:

english

Fichier:

PDF, 171 KB

english, 2015

Constraint-Based Analysis of Probabilistic Hybrid Systems

Teige, Tino, Fränzle, Martin

Journal:

IFAC Proceedings Volumes

Année:

2009

Langue:

english

Fichier:

PDF, 229 KB

english, 2009

Set-Membership Estimation of Hybrid Systems via SAT Modulo ODE*

Eggers, Andreas, Ramdani, Nacim, Nedialkov, Nedialko S., Fränzle, Martin

Journal:

IFAC Proceedings Volumes

Année:

2012

Langue:

english

Fichier:

PDF, 421 KB

english, 2012

[IEEE 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - CSiSAT: A satisfiability solver for SMT formulas with continuous probability distributions

Gao, Yang, Franzle, Martin

Année:

2016

Langue:

english

Fichier:

PDF, 267 KB

english, 2016

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 ||

Fränzle, Martin, Markey, Nicolas

Année:

2016

Langue:

english

Fichier:

PDF, 10.48 MB

english, 2016

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Consistent Timed Semantics for Nested Petri Nets with Restricted Urgency

Fränzle, Martin, Markey, Nicolas

Année:

2016

Langue:

english

Fichier:

PDF, 600 KB

english, 2016

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || On Optimal Control of Stochastic Linear Hybrid Systems

Fränzle, Martin, Markey, Nicolas

Année:

2016

Langue:

english

Fichier:

PDF, 1.03 MB

english, 2016

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Worst-Case Execution Time Analysis for Many-Core Architectures with NoC

Fränzle, Martin, Markey, Nicolas

Année:

2016

Langue:

english

Fichier:

PDF, 1.56 MB

english, 2016

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Input/Output Stochastic Automata

Fränzle, Martin, Markey, Nicolas

Année:

2016

Langue:

english

Fichier:

PDF, 305 KB

english, 2016

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Modelling Attack-defense Trees Using Timed Automata

Fränzle, Martin, Markey, Nicolas

Année:

2016

Langue:

english

Fichier:

PDF, 891 KB

english, 2016

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Scenario-Aware Workload Characterization Based on a Max-Plus Linear Representation

Fränzle, Martin, Markey, Nicolas

Année:

2016

Langue:

english

Fichier:

PDF, 1.38 MB

english, 2016

Reach-Avoid Verification for Nonlinear Systems Based on Boundary Analysis

Xue, Bai, Easwaran, Arvind, Cho, Nam-Joon, Franzle, Martin

Journal:

IEEE Transactions on Automatic Control

Année:

2016

Langue:

english

Fichier:

PDF, 351 KB

english, 2016

[Lecture Notes in Computer Science] Formal Modeling and Analysis of Timed Systems Volume 9884 || Timed Multiset Rewriting and the Verification of Time-Sensitive Distributed Systems

Fränzle, Martin, Markey, Nicolas

Année:

2016

Langue:

english

Fichier:

PDF, 388 KB

english, 2016

[IEEE 2016 IEEE/ACM 24th International Symposium on Quality of Service (IWQoS) - Beijing, China (2016.6.20-2016.6.21)] 2016 IEEE/ACM 24th International Symposium on Quality of Service (IWQoS) - Multi-channel mode for emergency system in urban connected vehicles

Khan, Saifullah, Franzle, Martin

Année:

2016

Langue:

english

Fichier:

PDF, 305 KB

english, 2016

[Lecture Notes in Computer Science] Dependable Software Engineering: Theories, Tools, and Applications Volume 9984 ||

Fränzle, Martin, Kapur, Deepak, Zhan, Naijun

Année:

2016

Langue:

english

Fichier:

PDF, 11.81 MB

english, 2016

[IEEE 2015 IEEE European Modelling Symposium (EMS) - Madrid, Spain (2015.10.6-2015.10.8)] 2015 IEEE European Modelling Symposium (EMS) - Nonlinear Model Predictive Control for Tracking of Underactuated Vessels under Input Constraints

Abdelaal, Mohamed, Franzle, Martin, Hahn, Axel

Année:

2015

Langue:

english

Fichier:

PDF, 585 KB

english, 2015

[Lecture Notes in Computer Science] Dependable Software Engineering: Theories, Tools, and Applications Volume 9984 || Schedulability Analysis of Timed Regular Tasks by Under-Approximation on WCET

Fränzle, Martin, Kapur, Deepak, Zhan, Naijun

Année:

2016

Langue:

english

Fichier:

PDF, 475 KB

english, 2016

[Lecture Notes in Computer Science] Dependable Software Engineering: Theories, Tools, and Applications Volume 9984 || Computing Specification-Sensitive Abstractions for Program Verification

Fränzle, Martin, Kapur, Deepak, Zhan, Naijun

Année:

2016

Langue:

english

Fichier:

PDF, 666 KB

english, 2016

[Lecture Notes in Computer Science] Dependable Software Engineering: Theories, Tools, and Applications Volume 9984 || Semipositivity in Separation Logic with Two Variables

Fränzle, Martin, Kapur, Deepak, Zhan, Naijun

Année:

2016

Langue:

english

Fichier:

PDF, 341 KB

english, 2016

[Lecture Notes in Computer Science] Dependable Software Engineering: Theories, Tools, and Applications Volume 9984 || Formalization of Fault Trees in Higher-Order Logic: A Deep Embedding Approach

Fränzle, Martin, Kapur, Deepak, Zhan, Naijun

Année:

2016

Langue:

english

Fichier:

PDF, 1.08 MB

english, 2016

NMPC-based Trajectory Tracking and Collison Avoidance of Underactuated Vessels with Elliptical Ship Domain**This research is supported by the State of Lower Saxony as part of the project Critical Systems Engineering for Socio-Technical Systems (CSE).

Abdelaal, Mohamed, Fränzle, Martin, Hahn, Axel

Journal:

IFAC-PapersOnLine

Année:

2016

Langue:

english

Fichier:

PDF, 471 KB

english, 2016

Opening the s-triazine ring and biuret hydrolysis during conversion of atrazine by Frankia sp. strain EuI1c

Rehan, Medhat, El Fadly, Gomaah, Farid, Mona, El sharkawy, Aml, Fränzle, Stefan, Ullrich, René, Kellner, Harald, Hofrichter, Martin

Journal:

International Biodeterioration & Biodegradation

Année:

2017

Langue:

english

Fichier:

PDF, 1.35 MB

english, 2017

Requirements for e-Navigation Architectures

Hahn, Axel, Bolles, Andre, Fränzle, Martin, Fröschle, Sibylle, Hyoung Park, Jin

Journal:

International Journal of e-Navigation and Maritime Economy

Année:

2016

Langue:

english

Fichier:

PDF, 948 KB

english, 2016

[IEEE 2016 IEEE Vehicular Networking Conference (VNC) - Columbus, OH, USA (2016.12.8-2016.12.10)] 2016 IEEE Vehicular Networking Conference (VNC) - Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment

Khan, Saifullah, Alam, Muhammad, Mullner, Nils, Franzle, Martin

Année:

2016

Langue:

english

Fichier:

PDF, 228 KB

english, 2016